521. CONPAR 90-VAPP IV :
پدیدآورنده : H. Burkhart, ed.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel processing (Electronic computers), Congresses.,Vector processing (Computer science), Congresses.
رده :
QA76
.
58
.
J65
1990
522. CP/M techniques
پدیدآورنده : Barbier, Ken
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers,، Operating systems )Computers(,، Structured programming
رده :
QA
76
.
6
.
B3574
1984
523. CSL'87 lst workshop on computer science logic
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Design and construction-- Congresses,، Logic design-- Computer programming-- Congresses
رده :
QA
76
.
6
.
W6
1987
524. CUDA programming
پدیدآورنده : Shane Cook
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application software-- Development,Computer architecture,Graphics processing units,Parallel processing (Electronic computers),Parallel programming (Computer science)
رده :
QA76
.
58
.
C66
2013
525. CX-Simulator, ver 1.1, for CS1 series: Operation manual
پدیدآورنده : OMRon
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Digital computer simulation,، Electronic digital computers-programming
رده :
QA
76
.
9
.
C65C9
2000
526. Calculating with Fortran
پدیدآورنده : Manifold, George O.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، FORTRAN )Computer program language(,، Electronic digital computers-- Programming,، Mathematics-- Data processing
رده :
QA
76
.
73
.
F25
.
M35
527. Catalog of programs for IBM 1620 and 1710 data processing systems
پدیدآورنده :
کتابخانه: Library of Faculty of Psychology and Educational Sciences University of Tehran (Tehran)
موضوع : Electronic calculating machines,Programming ( Electronic Computers)
رده :
QA
,
76
,.
8
,.
I14
528. Catalogue of artificial intelligence tools
پدیدآورنده : edited by Alan Bundy
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Artificial intelligence -- Data processing,، Robotics,، Electronic digital computers -- Programming,Catalogs ، Computer programs
رده :
Q
336
.
C27
1986
529. Catalogue of artificial intelligence tools
پدیدآورنده : Bundy, Alan
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Artificial intelligence-- Data processing,، Robotics,، Electronic digital computers-- Programming,، Computer software-- Catalogs
رده :
Q
336
.
B86
1986
530. Catalogue of artificial intelligence tools
پدیدآورنده : Bundy, Alan.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Artificial intelligence - Data processing,، Robotics,، Electronic digital computers - Programming,، Computer software - Catalogs
رده :
Q
336
.
B86
1984
531. Categories and computer science
پدیدآورنده : / R.F.C. Walters
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Categories (Mathematics)--Data processing,Electronic digital computers--Programming
532. Categories, types, and structures
پدیدآورنده : / Andrea Asperti, Giuseppe Longo
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Programming languages (Electronic computers),Categories (Mathematics)
رده :
QA76
.
7
.
A76
1991
533. Categories, types, and structures
پدیدآورنده : / Andrea Asperti, Giuseppe Longo
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Programming languages (Electronic computers),Categories (Mathematics)
رده :
QA76
.
7
.
A76
1991
534. Categories, types, and structures : an introduction to category theory for the working computer scientist
پدیدآورنده : Asperti, Andrea
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers(,، Categories )Mathematics(
رده :
QA
76
.
7
.
A76
1991
535. Category theory and computer science
پدیدآورنده : D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Electronic digital computers - Programming - Congresses,Categories )Mathematics( - Congresses
رده :
QA
.
C388
76
.
6
1987
536. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده : D.H. Pitt ... )et al.( )ed.(
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Electronic digital computers -- Programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
6
.
C3882
1989
537. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده : D.H. Pitt ... )et al.( )ed.(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L4
v
.
389
538. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده : D.H. Pitt ... )et al.( )ed.(
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Electronic digital computers - Programming - Congresses,Categories )Mathematics( - Congresses
رده :
QA
.
C3882
76
.
6
1989
539. Category theory and computer science : 6th International Conference, CTCS 95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
پدیدآورنده : David Pitt, David E. Rydeheard, Peter Johnstone, eds
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Electronic digital computers - Programming - Congresses , Categories )Mathematics( - Congresses
رده :
QA
76
.
6
.
B53
1995
540. Category theory and computer science : 7th International Conference, CTCS '97,Santa Margherita Ligure, Italy, Sptember 1997: Proceeding
پدیدآورنده : / Eugenio Moggi, Giuseppe Rosolini(eds.)
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
رده :
QA76
,.
6
.
B53
